K$i$($P$)@$s$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$e$:PossibleEvent(${\it poss}$). poss{-}consistent($i$;$T$;$s$;$e$;${\it Rs}$) $\Rightarrow$ K($P$)@$e$